<html>
<body>
Detects unreachable choice branches.
<p>
A branch is unreachable if it is preceded by a branch that matches empty sequences.
</p>
</body>
</html>